Nuprl Definition : ind def
9,38
postcript
pdf
I(
v
) where I(
) =
I(
when
x
=
< 0,
y
= I(
+1).
I(wh
d
(
x
;
y
)
I(
when
= 0.
b
when
w
=
> 0,
z
= I(
-1).
u
(
w
;
z
)end where is Primitive
latex
origin
) =
< 0, y = I(+1).
= 0. bwhen w = > 0, z = I(-1). u(w;z)end where is Primitive ) =
< 0, y = I(+1).
= 0. bwhen w = > 0, z = I(-1). u(w;z)end where is Primitive